Adrienne Gael Bloss . Path Analysis and the Optimization of Non { Strict Functional
نویسندگان
چکیده
appears as report YALEU/DCS/RR{704. 10] Adrienne Bloss. Update analysis and the eecient implementation of functional aggregates.
منابع مشابه
Code Optimizations for Lazy Evaluation
Implementations of lazy evaluation for non-strict functional languages usually involve the notion of a delayed representation of the value of an expression, which we call a thunk. We present several techniques for implementing thunks and formalize a class of optimizations that reduce both the space and time overhead of these techniques. The optimizations depend on a compile-time inferencing str...
متن کاملPath Semantics
Knowledge of order of evaluation of expressions is useful for compile-time optimizations for lazy sequential functional programs. We present path semantics, a non-standard semantics that describes order of evaluation for a first-order functional language with lazy evaluation. We also provide an effective abstraction of path semantics that provides compile-time information. We show how path sema...
متن کاملAn Optimising Compiler for a Modern Functional Language
ion (detailed summary). In Proceedings 1986 ACMConference on LISP and Functional Programming, pp.351-363. ACM (August, 1986).13. P. Hudak, A. Bloss and J. Young, Code optimizations for lazy evaluation. Lisp and Symbolic Computation: An International Journal1 (2), 147-1 64 (1988).And a s always, we thank the 'grapplers' a t Yale for their never-ending support. 14. P. Hudak an...
متن کاملOn the optimization of Dombi non-linear programming
Dombi family of t-norms includes a parametric family of continuous strict t-norms, whose members are increasing functions of the parameter. This family of t-norms covers the whole spectrum of t-norms when the parameter is changed from zero to infinity. In this paper, we study a nonlinear optimization problem in which the constraints are defined as fuzzy relational equations (FRE) with the Dombi...
متن کاملVehicle Interior Vibration Simulation-a Tool for Engine Mount Optimization
By new advancements in vehicle manufacturing vehicle quality evaluation and assurance has become a more critical issue. In present work, the vibration transfer path analysis and vibration path ranking of a car interior has been performed. The method is similar to classical multilevel TPA methods but has distinct differences. The method is named VIVS which stands for Vehicle Interior Vibratio...
متن کامل